TSTP Solution File: DAT261^1 by SInE---0.4